
  \todo{Should we have a caveat list as an appendix to the tutorial?}
  % This is way too arcane to be mentioned in the intro. --M
  %In addition, VCC currently doesn't do the checks needed to
  %ignore memory system optimizations on multiprocessor machines, e.g.,
  %processor store buffering on x64 machines; this will be remedied in the near
  %future.